Free shipping on all orders! No minimum purchase required.

More from this Author

Found 5 books by Lawrence C. Paulson

ML for the Working Programmer

ML for the Working Programmer

by Lawrence C. Paulson

ML for the Working Programmer

ML for the Working Programmer

by Lawrence C. Paulson

Isabelle

Isabelle

by Lawrence C. Paulson, G. Goos (Editor), J. Hartmanis (Editor)

Isabelle

Isabelle

by Lawrence C. Paulson

Logic and Computation

Logic and Computation

by Lawrence C. Paulson

Bookstores.com relies on cookies to improve your experience.